IBM Research - Quantum information and computation theory.

Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases.

University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking

Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering.

University of Parma - Computer vision, learning in vision, artificial intelligence.

Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence.

Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech technology for Indian languages

University of Cambridge - Human-computer interaction, visual interaction.

MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.

Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.